Interprétation et description d’une oeuvre d’art

Interprétation Et Reconnaissance D'images Et De Documents Theme Cog Rennes

Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre

Extraction et interprétation d'information géographique dans des données non structurées

This paper outlines the “Pyrénées Itinéraires Virtuels” project. The aim of this project is to add value to a legacy localised corpus. Unified models are proposed to define spatial entities in a formal way. These models allow to build a specific information retrieval system based on the semantic contents of various kinds of documents. Moreover, a reflection on computable interpretation of these...

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

ions. Une abstraction pouvant être utilisée en dehors du contexte où elle est définie, on doit mémoriser la liaison des variables apparaissant dans son corps au moment de sa définition. C’est à cette fin qu’on utilise une fermeture, c’est-à-dire l’association d’une abstraction (ident * term) et de l’environnement dans lequel elle a été définie (env) via le constructeur ValAbs. Lecture/écriture ...

DART: A non-technical model description

The DART Model of the Kiel Institute for World Economics (IfW) is a recursive dynamic computable general equilibrium model of the world economy, covering multiple sectors and regions. It is designed for the analysis of international climate policies. At present, the most important applications are the implementation of the Kyoto Protocol either trough unilateral action or through emissions trad...